搜索包含 Colloquium on Recovery Techniques for Multi-Microprocessor Systems (1980) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Recovery Techniques for Multi-Microprocessor Systems (1980) 的图书(共6963本)

	Innovations in Multi-Agent Systems and Applications - 1 [electronic resource] 0 索取号：作者：Srinivasan、 Dipti.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Advances in Intelligent Tutoring Systems [electronic resource] 0 索取号：作者：Nkambou、 Roger.、Bourdeau、 Jacqueline.、Mizoguchi、 Riichiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Advances in Wireless Networks and Information Systems [electronic resource] 0 索取号：作者：Luo、 Qi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Balanced Automation Systems for Future Manufacturing Networks [electronic resource] : 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings 0 索取号：作者：Ortiz、脕ngel.、Franco、 Rub茅n Dar铆o.、Gasquet、 Pedro G贸mez.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures 0 索取号：作者：Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Organizations [electronic resource] : Social Systems Conducting Experiments 0 索取号：作者：Achterbergh、 Jan.、Vriens、 Dirk.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Efficient Secure Two-Party Protocols [electronic resource] : Techniques and Constructions 0 索取号：作者：Hazay、 Carmit.、Lindell、 Yehuda.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers 0 索取号：作者：Aloni、 Maria.、Bastiaanse、 Harald.、Jager、 Tikitu.、Schulz、 Katrin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	FORMS/FORMAT 2010 [electronic resource] : Formal Methods for Automation and Safety in Railway and Automotive Systems 0 索取号：作者：Schnieder、 Eckehard.、Tarnai、 Geza.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Geometric Theory of Discrete Nonautonomous Dynamical Systems [electronic resource] 0 索取号：作者：P枚tzsche、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Exploration of Gas Hydrates [electronic resource] : Geophysical Techniques 0 索取号：作者：Rajput、 Sanjeev.、Thakur、 Naresh Kumar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I 0 索取号：作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II 0 索取号：作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Control of Complex Nonlinear Systems with Delay [electronic resource] 0 索取号：作者：H枚vel、 Philipp.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
	Innovations in Defence Support Systems-1 [electronic resource] 0 索取号：作者：Finn、 Anthony.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications [electronic resource] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28鈥揓uly 2, 2010. Proceedings, Part II 0 索取号：作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

	Innovations in Multi-Agent Systems and Applications - 1 [electronic resource] 0 索取号：作者：Srinivasan、 Dipti.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Advances in Intelligent Tutoring Systems [electronic resource] 0 索取号：作者：Nkambou、 Roger.、Bourdeau、 Jacqueline.、Mizoguchi、 Riichiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Advances in Wireless Networks and Information Systems [electronic resource] 0 索取号：作者：Luo、 Qi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Balanced Automation Systems for Future Manufacturing Networks [electronic resource] : 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, 2010. Proceedings 0 索取号：作者：Ortiz、脕ngel.、Franco、 Rub茅n Dar铆o.、Gasquet、 Pedro G贸mez.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures 0 索取号：作者：Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Organizations [electronic resource] : Social Systems Conducting Experiments 0 索取号：作者：Achterbergh、 Jan.、Vriens、 Dirk.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Efficient Secure Two-Party Protocols [electronic resource] : Techniques and Constructions 0 索取号：作者：Hazay、 Carmit.、Lindell、 Yehuda.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers 0 索取号：作者：Aloni、 Maria.、Bastiaanse、 Harald.、Jager、 Tikitu.、Schulz、 Katrin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	FORMS/FORMAT 2010 [electronic resource] : Formal Methods for Automation and Safety in Railway and Automotive Systems 0 索取号：作者：Schnieder、 Eckehard.、Tarnai、 Geza.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Geometric Theory of Discrete Nonautonomous Dynamical Systems [electronic resource] 0 索取号：作者：P枚tzsche、 Christian.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Exploration of Gas Hydrates [electronic resource] : Geophysical Techniques 0 索取号：作者：Rajput、 Sanjeev.、Thakur、 Naresh Kumar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I 0 索取号：作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II 0 索取号：作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Control of Complex Nonlinear Systems with Delay [electronic resource] 0 索取号：作者：H枚vel、 Philipp.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
	Innovations in Defence Support Systems-1 [electronic resource] 0 索取号：作者：Finn、 Anthony.、Jain、 Lakhmi C.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications [electronic resource] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28鈥揓uly 2, 2010. Proceedings, Part II 0 索取号：作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.